Nuprl Definition : and
11,40
postcript
pdf
P
Q
==
:
P
Q
latex
Definitions
P
Q
origin
Q == :P 
Q Q == :P Q Q